Type Speci cations with Processes
نویسنده
چکیده
Object-oriented software development is characterized by the repeated reenement of spec-iications and software components. The reenement of speciications is facilitated by the use of speciication languages which support subtyping based on the principle of substi-tutability. In this paper we propose to specify concurrent systems by types represented as expressions of a process calculus. These types allow to specify also dynamic language aspects and still support subtyping and static type-checking.
منابع مشابه
Communicating Software Speci cations using XML OpenSpec
In an ideal world software speci cations are machine readable can be parsed much of the tedious veri cation tasks could be automated by tools But even if the speci cation can be processed by one speci c tool it is often worthless to other tools not to mention that machine read able speci cations are normally not easily read by humans The rst step to solve these obstacles is to develop and de ne...
متن کاملProtocol Synthesis from Time Petri Net Based Service Speci cations
Some methods for deriving protocol speci cations from given service speci cations with time constraints have been proposed. However, existing methods cannot treat the class of service speci cations with both parallel synchronization and data values. They also assume that all clocks in the distributed system are synchronized. In this paper, we propose an algorithm to derive a correct protocol sp...
متن کاملA Kernel Specification Formalism with Higher-Order Parameterization
A speci cation formalism with parameterisation of an arbitrary order is presented It is given a denotational style semantics accompanied by an inference system for proving that an object satis es a speci cation The inference system incorporates but is not limited to a clearly identi ed type checking component Special e ort is made to carefully distinguish between parameterised speci cations whi...
متن کاملTuning of PID controllers for unstable processes based on gain and phase margin specifications: a fuzzy neural approach
This paper presents a PID tuning method for unstable processes using an adaptive-network-based-fuzzy-inference system (ANFIS) for given gain and phase margin (GPM) speci)cations. PID tuning methods are widely used to control stable processes. However, PID controller for unstable processes is less common. In this paper, the PID controller parameters can be determined by the ANFIS. Because the de...
متن کاملForcing Behavioral Subtyping Through Speci cation Inheritance
A common change to object oriented software is to add a new type of data that is a subtype of some existing type in the program However due to message passing unchanged parts of the program may now call operations of the new type To avoid reveri cation of unchanged code such operations should have speci cations that are related to the speci cations of the appropriate operations in their superty...
متن کامل